Видео с ютуба Формальная Аксиоматическая Теория

Математическая логика и теория алгоритмов 1. Формальные языки

Логика предикатов как формальная аксиоматическая теория

Печёнкин А. А. - Философия науки - 6. Формальная аксиоматическая система Гильберта

5.2.Формальные аксиоматические теории.Математическая логика и теория алгоритмов.

ПМО как формальная аксиоматическая теория

Илья Мещерин. Теория Множеств. Лекция 1

Логика суждений как формальная аксиоматическая теория